Polynomial Time Identification of Strict Deterministic Restricted One-Counter Automata in Some Class from Positive Data

نویسندگان

  • Mitsuo Wakatsuki
  • Kiyoshi Teraguchi
  • Etsuji Tomita
چکیده

Learnability of Pregroup Grammars p. 65 A Markovian Approach to the Induction of Regular String Distributions p. 77 Learning Node Selecting Tree Transducer from Completely Annotated Examples p. 91 Identifying Clusters from Positive Data p. 103 Introducing Domain and Typing Bias in Automata Inference p. 115 Analogical Equations in Sequences: Definition and Resolution p. 127 Representing Languages by Learnable Rewriting Systems p. 139 A Divide-and-Conquer Approach to Acquire Syntactic Categories p. 151 Grammatical Inference Using Suffix Trees p. 163 Learning Stochastic Finite Automata p. 175 Navigation Pattern Discovery Using Grammatical Inference p. 187 A Corpus-Driven Context-Free Approximation of Head-Driven Phrase Structure Grammar p. 199

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Polynomial Time Identification of Strict Prefix Deterministic Finite State Transducers

Introduction  Gold (1967)  defined the notion of identification in the limit.  showed that even the class of regular languages is not identifiable in the limit from positive data.  defined the notion of polynomial time identification in the limit [3].  has proposed another definition for polynomial time identifiability in the limit from positive data by making a slight modification of Pitt...

متن کامل

Inference of ω-Languages from Prefixes

Büchi automata are used to recognize languages of infinite words. Such languages have been introduced to describe the behavior of real time systems or infinite games. The question of inferring them from infinite examples has already been studied, but it may seem more reasonable to believe that the data from which we want to learn is a set of finite words, namely the prefixes of accepted or reje...

متن کامل

Affine counter automata

We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, ...

متن کامل

A Polynomial-Time Algorithm for Checking the Inclusion of Deterministic Restricted One-Counter Transducers Which Accept by Final State

This paper is concerned with a subclass of deterministic pushdown transducers, called deterministic restricted one-counter transducers (droct’s), and studies the inclusion problem for droct’s which accept by final state. In the previous study, we presented a polynomialtime algorithm for checking the equivalence of these droct’s. By extending this technique, we present a polynomial-time algorith...

متن کامل

Learning Visibly One-Counter Automata in Polynomial Time

Visibly one-counter automata are a restricted kind of one-counter automata: The input symbols are typed such that the type determines the instruction that is executed on the counter when the input symbol is read. We present an Angluin-like algorithm for actively learning visibly one-counter automata that runs in polynomial time in characteristic parameters of the target language and in the size...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004